A Correction to the Algorithm in Reiter's Theory of Diagnosis
نویسندگان
چکیده
Reiter [3] has developed a general theory of diagnosis based on first principles. His algorithm computes all diagnoses which explain the differences between the predicted and observed behavior of a given system. Unfortunately, Reiter's description of the algorithm is incorrect in that some diagnoses can be missed under certain conditions. This note presents a revised algorithm and a proof of its correctness.
منابع مشابه
Analysis and Diagnosis of Partial Discharge of Power Capacitors Using Extension Neural Network Algorithm and Synchronous Detection Based Chaos Theory
Power capacitors are important equipment of the power systems that are being operated in high voltage levels at high temperatures for long periods. As time goes on, their insulation fracture rate increases, and partial discharge is the most important cause of their fracture. Therefore, fast and accurate methods have great importance to accurately diagnosis the partial discharge. Conventional me...
متن کاملOptimal fast digital error correction method of pipelined analog to digital converter with DLMS algorithm
In this paper, convergence rate of digital error correction algorithm in correction of capacitor mismatch error and finite and nonlinear gain of Op-Amp has increased significantly by the use of DLMS, an evolutionary search algorithm. To this end, a 16-bit pipelined analog to digital converter was modeled. The obtained digital model is a FIR filter with 16 adjustable weights. To adjust weights o...
متن کامل6.1 Acknowledgments 5 Related Work
The contents of this paper beneetted from several discussions with Walter Ham-scher, who generously volunteered to run our light bulb example through one of his diagnosis systems, and from the constructive comments of two anonymous referees. References 1] K. Abbott. Robust operative diagnosis as problem solving in a hypothesis space. Poole 12, p. 1310] has noted the generality of the model-base...
متن کاملON MULTIPHASE ALGORITHM FOR SINGLE VARIABLE EQUATION USING NEWTON'S CORRECTION METHOD
This paper brings to light a method based on Multiphase algorithm for single variable equation using Newton's correction. Newton's method is derived through the logarithmic differentiation of polynomial equation. A correction term which enhances the high speed of convergence is hereby introduced. A translation of Newton's method to Total Step and Single Step Methods (T. S. M and S. S. M) re...
متن کاملA Novel NeighShrink Correction Algorithm in Image Denoising
Image denoising as a pre-processing stage is a used to preserve details, edges and global contrast without blurring the corrupted image. Among state-of-the-art algorithms, block shrinkage denoising is an effective and compatible method to suppress additive white Gaussian noise (AWGN). Traditional NeighShrink algorithm can remove the Gaussian noise significantly, but loses the edge information i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Artif. Intell.
دوره 41 شماره
صفحات -
تاریخ انتشار 1989